Buy Used and New Sean Weaver Books

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings: 9340 (Lecture Notes in Computer Science)

by Marijn Heule,Sean Weaver

ISBN 13: 9783319243177

Format: Paperback (456 pages)
Publisher: Springer
Published: 15 Nov 2015

Save for later